摘要 :
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear and declarative method for defining preferred mode...
展开
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear and declarative method for defining preferred models. In this paper, we show how to embed preferences in the logical theory itself. This gives a high freedom for expressing statements about preferences. Preferences can now depend on other assumptions and are thus dynamic. We elaborate a preferential semantics based on Lehmann's cumulative models, as well as a corresponding constructive characterization, which specifies how to correctly treat dynamic preferences in the default reasoning system EXCEPT [Junker, 1992].
收起
摘要 :
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear and declarative method for defining preferred mode...
展开
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear and declarative method for defining preferred models. In this paper, we show how to embed preferences in the logical theory itself. This gives a high freedom for expressing statements about preferences. Preferences can now depend on other assumptions and are thus dynamic. We elaborate a preferential semantics based on Lehmann's cumulative models, as well as a corresponding constructive characterization, which specifies how to correctly treat dynamic preferences in the default reasoning system EXCEPT [Junker, 1992].
收起
摘要 :
Explicit preferences on assumptions as used in prioritized circumscription (McCarthy, 1986; Lifschitz, 1985; Grosof, 1991) and preferred subtheories (Brewka, 1989) provide a clear and declarative method for defining preferred mode...
展开
Explicit preferences on assumptions as used in prioritized circumscription (McCarthy, 1986; Lifschitz, 1985; Grosof, 1991) and preferred subtheories (Brewka, 1989) provide a clear and declarative method for defining preferred models. In this paper, we shwo how to embed preferences in the logical theory itself. this gives a high freedom for expressing statements about preferences. Preferences can now depend on other assumptions and are thus dynamic. We elaborate a preferential semantics based on Lehmann's cumulative models, as well as a corresponding constructive characterization, which specifies how to correctly treat dynamic preferences in the default reasoning system Ex-CEPT (Junker, 1992).
收起
摘要 :
Explicit preferences on assumptions as used in prioritized circumscription (McCarthy, 1986; Lifschitz, 1985; Grosof, 1991) and preferred subtheories (Brewka, 1989) provide a clear and declarative method for defining preferred mode...
展开
Explicit preferences on assumptions as used in prioritized circumscription (McCarthy, 1986; Lifschitz, 1985; Grosof, 1991) and preferred subtheories (Brewka, 1989) provide a clear and declarative method for defining preferred models. In this paper, we shwo how to embed preferences in the logical theory itself. this gives a high freedom for expressing statements about preferences. Preferences can now depend on other assumptions and are thus dynamic. We elaborate a preferential semantics based on Lehmann's cumulative models, as well as a corresponding constructive characterization, which specifies how to correctly treat dynamic preferences in the default reasoning system Ex-CEPT (Junker, 1992).
收起
摘要 :
A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives. A historic example is Kripke's possible world semantics that provided a unifying framework for differ...
展开
A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives. A historic example is Kripke's possible world semantics that provided a unifying framework for different systems of modal logic. More recently, Shoham's work on preferential semantics similarly provided a much needed framework to uniformly represent and compare a variety of nonmonotonic logics (including some logics of action). The present work develops a novel type of semantics for a particulr causal approach to reasoning about action. The basic idea is to abandon the standard state-space of possible worlds and consider instead a larger set of possibilities - a hyper-space - tracing the effects of actions (including indirect effects) with the states in the hyper-space. Intuitively, the purpose of these hyper-states is to supply extra context to record the process of causality.
收起
摘要 :
A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives. A historic example is Kripke's possible world semantics that provided a unifying framework for differ...
展开
A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives. A historic example is Kripke's possible world semantics that provided a unifying framework for different systems of modal logic. More recently, Shoham's work on preferential semantics similarly provided a much needed framework to uniformly represent and compare a variety of nonmonotonic logics (including some logics of action). The present work develops a novel type of semantics for a particulr causal approach to reasoning about action. The basic idea is to abandon the standard state-space of possible worlds and consider instead a larger set of possibilities - a hyper-space - tracing the effects of actions (including indirect effects) with the states in the hyper-space. Intuitively, the purpose of these hyper-states is to supply extra context to record the process of causality.
收起
摘要 :
This paper presents an extended system of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of causal l...
展开
This paper presents an extended system of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of causal logics based on the framework are proposed to model causal propagations through logical relevancy and iterated effects of causation. It is shown that these logics capture the basic properties of causal reasoning.
收起
摘要 :
This paper presents an extended system of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of causal l...
展开
This paper presents an extended system of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of causal logics based on the framework are proposed to model causal propagations through logical relevancy and iterated effects of causation. It is shown that these logics capture the basic properties of causal reasoning.
收起
摘要 :
This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of cau...
展开
This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of causal logics based on the framework are proposed to model causal propagations through logical relevancy and iterated effects of causation. It is shown that these logics capture the basic properties of causal reasoning.
收起
摘要 :
This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of cau...
展开
This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of causal logics based on the framework are proposed to model causal propagations through logical relevancy and iterated effects of causation. It is shown that these logics capture the basic properties of causal reasoning.
收起